Autogenerated HTML docs for v1.5.5.1-147-g867f 
diff --git a/git-push.txt b/git-push.txt index 0585949..f06d94e 100644 --- a/git-push.txt +++ b/git-push.txt 
@@ -70,7 +70,9 @@ 	be mirrored to the remote repository. Newly created local 	refs will be pushed to the remote end, locally updated refs 	will be force updated on the remote end, and deleted refs -	will be removed from the remote end. +	will be removed from the remote end. This is the default +	if the configuration option `remote.<remote>.mirror` is +	set.    \--dry-run:: 	Do everything except actually send the updates.